أبو علي سينا
العبارة 122
الشفاء ( المنطق )
طبقة « 1 » واجب أن يوجد * ليس بواجب أن يوجد ممتنع أن لا يوجد * ليس بممتنع أن لا يوجد ليس بممكن أن لا يوجد العامي * ممكن أن لا يوجد العامي الموجبات متلازمة والسالبات متلازمة طبقة أخرى واجب أن لا يوجد * ليس بواجب أن لا يوجد ممتنع أن يوجد * ليس بممتنع أن يوجد ليس بممكن أن يوجد العامي * ممكن أن يوجد العامي الموجبات متلازمة والسالبات متلازمة وأما الممكن الخاصي فلا يلزمه شئ منعكسا عليه « 2 » إلا من بابه . فقولنا ممكن أن يوجد يلزمه ممكن أن يوجد ، ويلزم نقيضه نقيضه ، « 3 » فيلزم قولنا : ليس بممكن أن يوجد الخاصي قولنا : ليس بممكن أن لا يوجد الخاصي . فطبقات المتلازمات إذن ست ، ولكل واحد منها لوازم غير متعاكسة ، ولنذكرها في كل طبقة . ( ا ) طبقة الواجب أن يوجد وما معها . ( ب ) وأما طبقة ليس بواجب فلا يلزمها « 4 » شئ غير « 5 » ما ينعكس عليها . ( ج ) « 6 » وأما طبقة واجب أن لا يوجد فيلزمها : ليس « 7 » بممتنع أن يوجد * ليس بممتنع أن لا يوجد ممكن أن يوجد العامي * ممكن أن لا يوجد العامي
--> ( 1 ) اعتمدنا في إثبات هذا الجدول على نسخة ب . ( 2 ) عليه : ساقطة من عا . ( 3 ) نقيضه نقيضة : نقيضه سا . ( 4 ) فلا يلزمها : ولا يلزمها م ( 5 ) غير : ساقطة من س . ( 6 ) ج : الثالث سا ؛ ساقطة من م . ( 7 ) اعتمدنا في إثبات هذا الجدول على نسخة ب .